大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Paul Samuel 的图书(共2186本)

Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

0
索取号：
作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Dependence in Probability and Statistics [electronic resource]

0
索取号：
作者：Doukhan、 Paul.、Lang、 Gabriel.、Surgailis、 Donatas.、Teyssi猫re、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

User Modeling, Adaptation, and Personalization [electronic resource] : 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings

0
索取号：
作者：Bra、 Paul.、Kobsa、 Alfred.、Chin、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mangrove Dynamics and Management in North Brazil [electronic resource]

0
索取号：
作者：Saint-Paul、 Ulrich.、Schneider、 Horacio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Searching for Extraterrestrial Intelligence [electronic resource] : SETI Past, Present, and Future

0
索取号：
作者：Shuch、 H. Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Morphogenesis [electronic resource] : Origins of Patterns and Shapes

0
索取号：
作者：Bourgine、 Paul.、Lesne、 Annick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Intelligent Data Analysis IX [electronic resource] : 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedings

0
索取号：
作者：Cohen、 Paul R.、Adams、 Niall M.、Berthold、 Michael R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Linear Isentropic Oscillations of Stars [electronic resource] : Theoretical Foundations

0
索取号：
作者：Smeyers、 Paul.、Van Hoolst、 Tim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

E-Infrastructures and E-Services on Developing Countries [electronic resource] : First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings

0
索取号：
作者：Villafiorita、 Adolfo.、Saint-Paul、 Regis.、Zorer、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Innovations in Macroeconomics [electronic resource]

0
索取号：
作者：Welfens、 Paul J.J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Symbiotic Multi-Robot Organisms [electronic resource] : Reliability, Adaptability, Evolution

0
索取号：
作者：Levi、 Paul.、Kernbach、 Serge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever

0
索取号：
作者：Dams、 Dennis.、Hannemann、 Ulrich.、Steffen、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers

0
索取号：
作者：Paul、 Christophe.、Habib、 Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agents and Peer-to-Peer Computing [electronic resource] : 6th International Workshop, AP2PC 2007, Honululu, Hawaii, USA, May 14-18, 2007, Revised and Selected Papers

0
索取号：
作者：Joseph、 Samuel R. H.、Despotovic、 Zoran.、Moro、 Gianluca.、Bergamaschi、 Sonia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.